23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡

Source URL: www.cs.rhul.ac.uk

Solving simple stochastic games with few coin toss positions∗ Rasmus Ibsen-Jensen Department of Computer Scinece Aarhus University Peter Bro Miltersen

Source URL: www.cs.au.dk

Analytical Approach to Parallel Repetition arXiv:1305.1979v2 [cs.CC] 15 May 2013 Irit Dinur∗

Source URL: arxiv.org

• NP-complete problems
• Mathematics
• Generalised Whitehead product
• Homotopy theory
• Unique games conjecture

The Effects of Age on Player Behavior in Educational Games Eleanor O’Rourke, Eric Butler, Yun-En Liu, Christy Ballweber, and Zoran Popovi´c Center for Game Science Department of Computer Science & Engineering, Univers

Source URL: homes.cs.washington.edu

• Flash cartoons
• Gaming
• Video game design
• BrainPop
• Kongregate
• Software
• Item
• Achievement
• Slot machine
• Flash games

Automatically Categorizing Procedurally Generated Content for Collecting Games In: Proceedings of the Workshop on Procedural Content Generation in Games (PCG) at the 9th International Conference on the Foundations of Dig

Source URL: eplex.cs.ucf.edu

• Windows games
• Procedural generation
• Galactic Arms Race
• Self-organizing map
• Platform game
• Flower

Computing Minimax Strategy for Discretized Spatio-Temporal Zero-Sum Security Games ? Haifeng Xu1 , Fei Fang1 , Albert Xin Jiang1 , Vincent Conitzer2 , Shaddin Dughmi1 , Milind Tambe1 1

Source URL: www.cs.nmsu.edu

A New Algorithm for Strategy Synthesis in LTL Games Aidan Harding1 , Mark Ryan1 , and Pierre-Yves Schobbens2 1 2

Source URL: www.cs.bham.ac.uk

The challenge of designing scientific discovery games Seth Cooper1 , Adrien Treuille3 , Janos Barbero1 , Andrew Leaver-Fay4 , Kathleen Tuite1 , Firas Khatib2 , Alex Cho Snyder1 , Michael Beenen1 , David Salesin1,5 , Davi

Source URL: grail.cs.washington.edu

A Polynomial-time Nash Equilibrium Algorithm for Repeated Stochastic Games Enrique Munoz de Cote∗ DEI, Politecnico di Milano piazza Leonardo da Vinci, 32

Source URL: uai2008.cs.helsinki.fi

F UEGO – An Open-source Framework for Board Games and Go Engine Based on Monte-Carlo Tree Search Markus Enzenberger, Martin M¨uller, Broderick Arneson and Richard Segal Abstract— F UEGO is both an open-source softw

Source URL: webdocs.cs.ualberta.ca